Diclib.com
Wörterbuch ChatGPT

Wörterbuchsuche Kundenspezifische Lösungen

Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆

Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

wie das Wort verwendet wird
Häufigkeit der Nutzung
es wird häufiger in mündlicher oder schriftlicher Rede verwendet
Wortübersetzungsoptionen
Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
Etymologie

theory of quantification - Übersetzung nach russisch

Branching quantification; Henkin quantifier; Partially ordered quantification; Branched quantification

theory of quantification

математика

теория квантификации

logical quantifier

$Syntax tree of the formula <math> \forall x (\exists y B(x,y)) \vee C(y,x) </math>, illustrating scope and variable capture. Bound and free variable occurrences are colored in red and green, respectively.$

LOGICAL OPERATOR SPECIFYING HOW MANY ENTITIES IN THE DOMAIN OF DISCOURSE THAT SATISFY AN OPEN FORMULA

Logical quantifier; Quantificational fallacy; Solution quantifier; Quantification (logic); Quantifiers (logic); Set quantifier; Range of quantification

математика

логический квантор

superunification

HYPOTHETICAL SINGLE, ALL-ENCOMPASSING, COHERENT THEORETICAL FRAMEWORK OF PHYSICS

Theory of Everything; Supergrand unified theory; Theory Of Everything; Theories of Everything; Superunification; The Universal Theory; Final theory; Equation of everything; Theories of everything; Arguments against a theory of everything

[s(j)u:pəju:nifi'keiʃ(ə)n]

физика

суперобъединение (всех известных фундаментальных взаимодействий)

существительное

физика

суперобъединение (всех известных фундаментальных взаимодействий)

Definition

грип

ГРИП, ГРИПП, гриппа, ·муж. (·франц. grippe) (мед.). Инфекционная болезнь - катарральное воспаление дыхательных путей, сопровождаемое лихорадочным состоянием; то же, что инфлуэнца
.

Weitere Definitionen anzeigen

Wikipedia

Branching quantifier

In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering

\langle Qx_{1}\dots Qx_{n}\rangle

of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable y_m bound by a quantifier Q_m depends on the value of the variables

y₁, ..., y_m−1

bound by quantifiers

Qy₁, ..., Qy_m−1

preceding Q_m. In a logic with (finite) partially ordered quantification this is not in general the case.

Branching quantification first appeared in a 1959 conference paper of Leon Henkin. Systems of partially ordered quantification are intermediate in strength between first-order logic and second-order logic. They are being used as a basis for Hintikka's and Gabriel Sandu's independence-friendly logic.

https://en.wikipedia.org/wiki/Branching quantifier

Übersetzung von &#39theory of quantification&#39 in Russisch